Buy Used and New Marco Bernardo Books

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

Save for later

A Process Algebraic Approach to Software Architecture Design

by Alessandro Aldini,Marco Bernardo,Flavio Corradini

ISBN 13: 9781848002227

Format: Hardcover (322 pages)
Publisher: Springer
Published: 27 Nov 2009

Save for later

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642019173

Format: Paperback (341 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... / Programming and Software Engineering)

by

ISBN 13: 9783540688921

Format: Paperback (525 pages)
Publisher: Springer
Published: 20 May 2008

Save for later

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

Formal Methods for Model-Driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software ... / Programming and Software Engineering)

by

ISBN 13: 9783642309816

Format: Paperback (439 pages)
Publisher: Springer
Published: 14 Jun 2012

Save for later

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)

by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer

ISBN 13: 9783319073163

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... 9700 (Lecture Notes in Computer Science)

by Marco Bernardo,Rocco De Nicola,Jane Hillston

ISBN 13: 9783319340951

Format: Paperback (272 pages)
Publisher: Springer
Published: 12 Jun 2016

Save for later

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

by Marco Bernardo,Alessandro Bogliolo

ISBN 13: 9783540256977

Format: Paperback (284 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: 2804 (Lecture Notes in Computer Science)

by Marco Bernardo,Paola Inverardi

ISBN 13: 9783540200833

Format: Paperback (296 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... 3185 (Lecture Notes in Computer Science)

by Marco Bernardo,Flavio Corradini

ISBN 13: 9783540230687

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

A Process Algebraic Approach to Software Architecture Design

by Alessandro Aldini,Marco Bernardo,Flavio Corradini

ISBN 13: 9781447157663

Format: Paperback (320 pages)
Publisher: Springer
Published: 20 Oct 2014

Save for later